downloadTool

suspend fun downloadTool(url: String, dest: Path? = null, auth: String? = null, headers: HeaderProvider = HeaderProvider { }): Path

Download a tool from an url and stream it into a file

Parameters

url

url of tool to download

dest

path to download tool. Will be a temp directory if null.

auth

authorization header

headers

other headers

Sources

js source
Link copied to clipboard